Home
Add Document
Sign In
Register
Doron A. Peled's Documents
Home
Doron A. Peled's Documents
Doron A. Peled's Documents
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Computer Aided Verification, 11 conf., CAV '99
Read more
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Lecture Notes in Computer Science Programming and Software Engineering)
Read more
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Read more
Photo-Excited Processes, Diagnostics and Applications. Fundamentals and Advanced Topics
Read more
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics (Kluwer 2003)
Read more
Model checking
Read more
Model checking
Read more
Model Checking
Read more
Verification, Model Checking, and Abstract Interpretation, 9 conf., VMCAI 2008
Read more
NeuroAnalysis: Bridging the Gap between Neuroscience, Psychoanalysis and Psychiatry
Read more
The difference engine: Charles Babbage
Read more
Theories on Law and Ageing: The Jurisprudence of Elder Law
Read more
Ruhige Zeiten
Read more
Nonaqueous Electrochemistry
Read more
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Read more
Ruhige Zeiten
Read more
Ruhige Zeiten
Read more
The Jacobite Movement in Scotland and in Exile, 1749-1759 (Studies in Modern History)
Read more
Threshold Graphs and Related Topics, Volume 56 (Annals of Discrete Mathematics)
Read more
The New Israel: Peacemaking and Liberalization
Read more
Driving With Confidence: A Practical Guide to Driving With Low Vision
Read more
The New Israel: Peacemaking and Liberalization
Read more
Being Israeli: The Dynamics of Multiple Citizenship (Cambridge Middle East Studies)
Read more
Threshold Graphs and Related Topics (Annals of Discrete Mathematics, Volume 56)
Read more
Threshold Graphs and Related Topics
Read more
CRC Computational Science)
Read more
Shattered Vessels: Memory, Identity, and Creation in the Work of David Shahar (Suny Series in Modern Jewish Literature and Culture)
Read more
Trade Secrets: Intellectual Piracy and the Origins of American Industrial Power
Read more
The Weeping Willow: Encounters With Grief
Read more
1
2
3
4
5
6
7
8
9
»
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Login with Facebook
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close